Skip to content

[IJPL-239519] Make sure pushurl is also added to remotes#3458

Open
dkashyn-sfdc wants to merge 1 commit intoJetBrains:261from
dkashyn-sfdc:add-pushurl-to-git-remotes-list
Open

[IJPL-239519] Make sure pushurl is also added to remotes#3458
dkashyn-sfdc wants to merge 1 commit intoJetBrains:261from
dkashyn-sfdc:add-pushurl-to-git-remotes-list

Conversation

@dkashyn-sfdc
Copy link
Copy Markdown
Contributor

@dkashyn-sfdc dkashyn-sfdc commented Mar 16, 2026

Fixes https://youtrack.jetbrains.com/issue/IJPL-239519/pushurl-is-not-considered-as-remote-for-Pull-Requests-availability-purposes


Note

Low Risk
Low risk, small change limited to remote URL collection; potential impact is only in how hosting/PR availability is detected for remotes with custom pushurl settings.

Overview
Ensures hosted-remote discovery includes remote.pushUrls in addition to remote.urls when building the set of GitRemoteUrlCoordinates, de-duplicating URLs before mapping to servers.

This fixes scenarios where PR/hosting availability was missed for remotes configured with pushurl.

Written by Cursor Bugbot for commit ee9a5b8. This will update automatically on new commits. Configure here.

@dkashyn-sfdc dkashyn-sfdc changed the title Make sure pushurl is also added to remotes [IJPL-239519] Make sure pushurl is also added to remotes Mar 16, 2026
@iasemenov iasemenov self-requested a review March 23, 2026 10:57
@iasemenov iasemenov assigned iasemenov and unassigned aronzhina Mar 23, 2026
@iasemenov iasemenov requested review from valeria-golovina and removed request for iasemenov April 14, 2026 13:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants